TAGs: Lens equation formula